Safety of code motion
نویسندگان
چکیده
منابع مشابه
Code Motion and Code Placement: Just Synonyms?
We prove that there is no diierence between code motion (CM) and code placement (CP) in the traditional syntactic setting, however, a dramatic diierence in the semantic setting. We demonstrate this by re-investigating semantic CM under the perspective of the recent development of syntactic CM. Besides clarifying and high-lightening the analogies and essential diierences between the syntactic an...
متن کاملValue-Driven Code Motion
Value-driven code motion is an improvement to classical code motion techniques that takes advantage of the results of global value numbering. Traditional data-ow analysis frameworks must assume that every deenition produces a distinct value. Therefore, an instruction cannot move past a deenition of one of its subexpressions. This restriction can be relaxed when certain deenitions are known to p...
متن کاملCombining code motion and schedulingLuiz
| This work addresses a resource-constrained optimization problem which arises in the context of the high-level synthesis of an ASIC or in the code generation for an ASIP. For a given behavioral description containing conditional constructs , scheduling and code motion are combined and encoded in the form of a uniied optimization problem. As taking code motion into account may lead to a larger ...
متن کاملLoop Quasi-Invariance Code Motion
Loop optimization plays an important role in compiler optimization and program transformation. Many sophisticated techniques such as loop-invariance code motion, loop restructuring and loop fusion have been developed. This paper introduces a novel technique called loop quasi-invariance code motion. It is a generalization of standard loop-invariance code motion, but based on loop quasi-invarianc...
متن کامل3 Policy - Directed Code Safety
Executing code can be dangerous. This thesis describes a scheme for protecting the user by constraining the behavior of an executing program. We introduce Naccio, a general architecture for constraining the behavior of program executions. Naccio consists of languages for defining safety policies in a platform-independent way and a system architecture for enforcing those policies on executions b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Mathematics
سال: 1972
ISSN: 0020-7160,1029-0265
DOI: 10.1080/00207167208803056